Separating k-Separated eNCE Graph Languages
نویسندگان
چکیده
Kim, C. and D.H. Lee, Separating k-separated eNCE graph languages, Theoretical Computer Science 120 (1993) 247-259. An eNCE graph grammar is k-separated (k > 1) if the distance between any two nonterminal nodes in any of its sentential forms is at least k. Let SEP, denote the class of graph languages generated by SEPl (SEP2) is the class of eNCE (boundar E) graph languages, Recently, Engelfriet et al. (1991) showed that SE G Pz and conjectured for each k > 1. We prove this conjecture affirmatively.
منابع مشابه
Emptiness Problems of eNCE Graph Languages
We consider the complexity of the emptiness problem for various classes of graph languages deened by eNCE (edge label neighborhood controlled embedding) graph grammars. In particular, we show that the emptiness problem is undecidable for general eNCE graph grammars, DEXPTIME-complete for connuent and boundary eNCE graph grammars, PSPACE-complete for linear eNCE graph grammars, NL-complete for d...
متن کاملExponential time analysis of con
eNCE (edge label neighborhood controlled) graph grammars belong to the most powerful graph rewriting systems with single-node graphs on the left-hand side of the productions. From an algorithmic point of view, connuent and boundary eNCE graph grammars are the most interesting subclasses of eNCE graph grammars. In connuent eNCE graph grammars, the order in which nonterminal nodes are substituted...
متن کاملHRNCE Grammars - A Hypergraph Generating System with an eNCE Way
Software Integration Problems and Coupling of Graph Grammar Specifications p. 155 Using Attributed Flow Graph Parsing to Recognize Cliches in Programs p. 170 Reconfiguration Graph Grammar for Massively Parallel, Fault Tolerant Computers p. 185 The Use of Tree Transducers to Compute Translations Between Graph Algebras p. 196 The Bounded Degree Problem for Non-Obstructing eNCE Graph Grammars p. 2...
متن کاملOn Partitions Separating Words
Partitions {Lk}k=1 of A + into m pairwise disjoint languages L1, L2, . . . , Lm such that Lk = L + k for k = 1, 2, . . . , m are considered. It is proved that such a closed partition of A+ can separate the words u1, u2, . . . , um ∈ A+ (i.e. each Lk contains exactly one word of the sequence u1, u2, . . . , um) if and only if for each pair i, j of distinct elements in {1, 2, . . . , m}, the word...
متن کاملThe Bounded Degree Problem for Non-Obstructing eNCE Graph Grammars
A graph grammar is called non-obstructing if each graph G derivable from the axiom can derive a terminal graph. In this paper, the bounded degree problem for non-obstructing eNCE graph grammars is proved to be in the complexity class NL.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 120 شماره
صفحات -
تاریخ انتشار 1993